<?php
session_start();  

function errorhandler () {
			$href = "error.php";
			header('Location: ' . $href);
		}
    
 if(!isset($_SESSION['Usuario_ALD'])){ errorhandler();}
    
?>